Skip to content

bug/HOP-57#44

Merged
jdamerow merged 6 commits into
developfrom
bug/HOP-57
May 11, 2026
Merged

bug/HOP-57#44
jdamerow merged 6 commits into
developfrom
bug/HOP-57

Conversation

@Girik1105
Copy link
Copy Markdown
Contributor

No description provided.

@diging-jenkins
Copy link
Copy Markdown

Can one of the admins verify this patch?

@jdamerow
Copy link
Copy Markdown
Member

This is probably a worthwhile improvement, however, we need a way to consolidate hopper's db with the kb if files have been uploaded but not linked, so this part of the ticket is still needed:

Maybe show the pdf resource with a button that lets me select resources found in the MCP but not in Hopper?

@jdamerow
Copy link
Copy Markdown
Member

Make it so, Jenkins.

Comment thread hospexplorer/ask/tasks.py
@jdamerow jdamerow closed this Apr 21, 2026
@Girik1105 Girik1105 reopened this Apr 23, 2026
@jdamerow
Copy link
Copy Markdown
Member

jdamerow commented May 1, 2026

Resolve conflicts please

@jdamerow jdamerow closed this May 1, 2026
@Girik1105 Girik1105 reopened this May 1, 2026
@jdamerow
Copy link
Copy Markdown
Member

Make it so, Jenkins.

@jdamerow jdamerow merged commit 82525ee into develop May 11, 2026
1 check passed
@jdamerow jdamerow deleted the bug/HOP-57 branch May 11, 2026 15:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants